Cometa 1900 c

W. S. C. Copeman, (1900–1970)

Entangled Histories: German Veterinary Medicine, c.1770–1900

Medical historians have recently become interested in the veterinary past, investigating the development of animal health in countries such as France, the Netherlands, the United Kingdom and the United States. An appreciation of the German context, however, is still lacking - a gap in the knowledge that the present article seeks to fill. Providing a critical interpretation of the evolution of t...

CoMeta: Classification of Metagenomes Using k-mers

Nowadays, the study of environmental samples has been developing rapidly. Characterization of the environment composition broadens the knowledge about the relationship between species composition and environmental conditions. An important element of extracting the knowledge of the sample composition is to compare the extracted fragments of DNA with sequences derived from known organisms. In the...

A history of technology. Volume VII: The twentieth century c. 1900 to c. 1950

MARTHA CRAVEN NUSSBAUM (editor), Aristotle's De motu animalium, Princeton University Press, 1978, 8vo, pp. xxiii, 430, £18.90. The title ofDr. Nussbaum's excellent book disguises its riches. She presents us with a new text and English translation of this little tract, defends its authenticity, assigns it to a place among Aristotle's last works, and rescues it from undeserved neglect. This would...

CoMeta Project Workshop Preliminary Version Type Assignement for Mobile Objects

We address the problem of formal reasoning about mobile code. We consider an Ambient Calculus, where process syntax includes constructs for object-oriented sequential programming. For the sake of concreteness, and because of practical relevance, we consider objects using message exchange to implement method invocation and overriding. The main contribution of the paper is an intersection type as...